Lecture 9.1 Introduction to Synchronization ENInstructor: Randal Burns 26 February 2018 Department of Computer Science, Johns Hopkins University

Source URL: parallel.cs.jhu.edu

Design of Concept Libraries for C++ Andrew Sutton and Bjarne Stroustrup Texas A&M University Department of Computer Science and Engineering {asutton, bs}@cse.tamu.edu

Source URL: www.stroustrup.com

Action Selection and Individuation in Agent Based Modelling Joanna J. Bryson University of Bath Department of Computer Science Artificial models of natural Intelligence (AmonI)

Source URL: www.cs.bath.ac.uk

• Metaphysics
• Modeling and simulation
• Simulation
• Multi-agent systems
• Artificial intelligence
• Complex systems theory
• Scientific modeling
• Reactive planning
• Action selection
• Intelligent agent
• Agent-based model
• Social simulation

I3S Laboratory « Informatique, signaux et systèmes de Sophia Antipolis » "Computer Science, Signal processing and Systems / Sophia Antipolis" UMR 7271 – UNS / CNRS Joint Research Unit between UNS & CNRS

Source URL: leat.unice.fr

Logical Methods in Computer Science Vol. 8(4:8)2012, pp. 1–33 www.lmcs-online.org Submitted Published

Source URL: people.rennes.inria.fr

Decision Knowledge Triggers in Continuous Software Engineering Anja Kleebaum Heidelberg University Institute of Computer Science

Source URL: cures.ifi.uni-heidelberg.de

Andrew Nealen Computer Science and Engineering NYU Tandon School of Engineering 2 MetroTech Center, 10th Floor Brooklyn, NY 11201

Source URL: www.nealen.net

Scaling an Object-oriented System Execution Visualizer through Sampling Andrew Chan, Reid Holmes, Gail C. Murphy and Annie T.T. Ying Department of Computer Science University of British ColumbiaMain Mall

Source URL: www.annieying.ca

TrustDavis: A Non-Exploitable Online Reputation System Dimitri do B. DeFigueiredo Earl T. Barr Department of Computer Science, University of California at Davis {defigueiredo,etbarr}@ucdavis.edu

Source URL: web.cs.ucdavis.edu

• Economy
• Accounting
• Finance
• Insurance
• Insurance industry
• Transaction cost
• Factoring
• Debits and credits
• Liability insurance
• South African insurance law

Forward Secure Asynchronous Messaging from Puncturable Encryption Matthew D. Green and Ian Miers Department of Computer Science The Johns Hopkins University Baltimore, USA

Source URL: spar.isi.jhu.edu

• Cryptography
• Public-key cryptography
• Ciphertext indistinguishability
• ID-based encryption
• Encryption
• Attribute-based encryption
• RSA
• Cipher
• Symmetric-key algorithm
• Identity-based conditional proxy re-encryption
• Semantic security